This book is a systematic analysis of John R. Searle’s philosophy of mind. Searle’s view of mind, as a set of subjective _and_ biologically embodied processes, can account for our being part of nature _qua_ mindful beings. This model finds support in neuroscience and offers reliable solutions to the problems of consciousness, mental causation, and the self.

The brain constructs within itself an understanding of its surround which constitutes its own world. This is described as its Double in the frame of the dissipative quantum model of brain, where the perception-action arc in the Merleau-Ponty’s phenomenology of perception finds its formal description. In the dialog with the Double, the continuous attempt to reach the equilibrium shows that the real goal pursued by the brain activity is the aesthetical experience, the most harmonious “to-be-in-the-world” reached through reciprocal actions, the (...) aesthetical dimension characterized by the “pleasure” of the perception. Aesthetical pleasure unavoidably implies disclosure, to manifest “signs”, artistic communication. An interpersonal, collective level of consciousness then arises, a larger stage where the actors are mutually dependent. The coherent structure of the brain background state manifests itself in the auto-similarity properties of fractal structures. These are observed to occur also in a large number of natural phenomena and systems. The conception of Nature divided in separated domains is replaced by the vision of Nature unified by laws of form implied by the underlying quantum dynamics of the coherent vacuum, an integrated ecological vision. (shrink)

Computing, today more than ever before, is a multi-faceted discipline which collates several methodologies, areas of interest, and approaches: mathematics, engineering, programming, and applications. Given its enormous impact on everyday life, it is essential that its debated origins are understood, and that its different foundations are explained. On the Foundations of Computing offers a comprehensive and critical overview of the birth and evolution of computing, and it presents some of the most important technical results and philosophical problems of the discipline, (...) combining both historical and systematic analyses. -/- The debates this text surveys are among the latest and most urgent ones: the crisis of foundations in mathematics and the birth of the decision problem, the nature of algorithms, the debates on computational artefacts and malfunctioning, and the analysis of computational experiments. By covering these topics, On the Foundations of Computing provides a much-needed resource to contextualize these foundational issues. -/- For practitioners, researchers, and students alike, a historical and philosophical approach such as what this volume offers becomes essential to understand the past of the discipline and to figure out the challenges of its future. (shrink)

The model presented in the target article includes feature processing and higher representations. I argue, based on neuropsychological evidence, that spatial representations are also involved in perceptual awareness of somatosensory events. Second, there is an asymmetry, with a right-hemisphere–based bilateral representation of the body. Third, the specific aspect of bodily awareness concerning motor function monitoring involves a network that includes the premotor cortex.

The target article undermines the existence of a shared unitary numerical format, illustrating a variety of representations. The / dichotomy does not capture their specific features. These representations are with respect to the sensory modality of the stimulus, and independent of its specific notation, with a main role of spatial codes, both related and unrelated to the mental number line.

Introduction: in search of a Jewish renaissance -- Jewish philosophy: humanist roots of a contradiction in terms -- The prophetic-poetic dimension of philosophy: the ars poetica and Immanuel of Rome -- Leone Ebreo's concept of Jewish philosophy -- Conceptions of history: Azariah de Rossi -- Scientific thought and the exegetical mind, with an essay on the life and works of Rabbi Judah Loew -- Mathematical and biblical exegesis: Jewish sources of Athanasius Kircher's musical theory -- Creating geographical and political utopias: (...) the ten lost tribes and the east -- Ceremonial law: history of a philosophical-political concept -- The city and the ghetto: Simone Luzzatto and the development of Jewish political thought -- Body of conversion and immortality of the soul: Sara Copio Sullam, the 'Beautiful Jewess'. (shrink)

This study investigates the acquisition of integrated object manipulation and categorization abilities through a series of experiments in which human adults and artificial agents were asked to learn to manipulate two-dimensional objects that varied in shape, color, weight, and color intensity. The analysis of the obtained results and the comparison of the behavior displayed by human and artificial agents allowed us to identify the key role played by features affecting the agent/environment interaction, the relation between category and action development, and (...) the role of cognitive biases originating from previous knowledge. (shrink)

The process of completing, correcting and prioritising specifications is an essential but very complex task for the maintenance and improvement of software systems. The preservation of functionalities and the ability to accommodate changes are main objectives of the software development cycle to guarantee system reliability. Logical theories able to fully model such processes are still insufficient. In this paper we propose a full formalisation of such operations on software systems inspired by the Alchourrón–Gärdenfors–Makinson paradigm for belief revision of human epistemic (...) states. We represent specifications as finite sets of formulas equipped with a priority relation that models functional entrenchment of properties. We propose to handle specification incompleteness through ordered expansion, inconsistency through ordered safe contraction and prioritisation through revision with reordering, and model all three in an algorithmic fashion. We show how the system satisfies basic properties of the AGM paradigm, including Levi’s and Harper’s identities. We offer a concrete example and complexity results for the inference and model checking problems on revision. We conclude by describing resilience and evolvability of software systems based on such revision operators. (shrink)

Malware has been around since the 1980s and is a large and expensive security concern today, constantly growing over the past years. As our social, professional and financial lives become more digitalised, they present larger and more profitable targets for malware. The problem of classifying and preventing malware is therefore urgent, and it is complicated by the existence of several specific approaches. In this paper, we use an existing malware taxonomy to formulate a general, language independent functional description of malware (...) as transformers between states of the host system and described by a trust relation with its components. This description is then further generalised in terms of mechanisms, thereby contributing to a general understanding of malware. The aim is to use the latter in order to present an improved classification method for malware. (shrink)

Any attempt to conceptualize, categorize and constraint foundational issues in a living science, such as Computing, is bound to show its limitations and leave a number of open issues. Taking stock with some critical reviews of Primiero (On the foundations of computing, Oxford University Press, Oxford, 2019) published in this Journal, I overview potential new problems to be investigated by a foundational analysis of the science of computing.

Focused sequent calculi are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document} for Lambek–Grishin logic by generalizing the theory of multi-type calculi and their (...) algebraic semantics with heterogenous consequence relations. The calculus fD.LG has strong focalization and it is sound and complete w.r.t. FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document}. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics, insofar as we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called completeness of focusing, given that the standard (display) sequent calculus for Lambek–Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus fLG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from fLG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every fLG-derivation is in a Curry–Howard correspondence with a directional λ¯μμ~\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\lambda }\mu \widetilde{\mu }$$\end{document}-term. (shrink)

In the present paper, we endow semi De Morgan logic and a family of its axiomatic extensions with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of the variety of semi De Morgan algebras, and applies the guidelines of the multi-type methodology in the design of display calculi.

Das Buch enthält die Einführung in die Lektüre sowie den Textkommentar zu den der Analyse der Grundsätze der Modalität gewidmeten "Postulaten des empirischen Denkens überhaupt". Untersucht wird Kants gesamte Theorie der Modalbegriffe (Möglichkeit - Unmöglichkeit, Dasein - Nichtsein, Notwendigkeit - Zufälligkeit) seit Mitte der 1750er Jahre bis zur Kritik der reinen Vernunft. Die Postulate sind nach Kant nicht objektiv, sondern subjektiv-synthetisch: Der Gegenstand der Erfahrung, welcher zunächst anhand der objektiv-synthetischen Funktionen der Quantität, Qualität und Relation bestimmt wird, lässt sich nun (...) in seinem Verhältnis zum setzenden Subjekt betrachten. Die Postulate thematisieren jedoch nicht - hier liegt die konstitutive Charakteristik dieser synthetischen Urteile a priori - das Subjekt selbst, sondern das Objekt als solches und die Objektivität überhaupt. Wie diese Untersuchung zeigt, antwortet Kant erst hier - nicht in den viel diskutierten Deduktionskapiteln oder in den anderen Grundsatzkapiteln - auf die Frage "Was ist ein Objekt?" und bezieht zugleich Stellung gegenüber anderen philosophischen Theorien der Objektivität des 18. Jahrhunderts: Rationalismus, Empirismus, Idealismus, Skeptizismus. (shrink)

We present a review of Raymond Turner’s Book Computational Artifacts – Towards a Philosophy of Computer Science, focusing on three main topics: Design, Malfunction, and Validity.

Various conceptual approaches to the notion of information can currently be traced in the literature in logic and formal epistemology. A main issue of disagreement is the attribution of truthfulness to informational data, the so called Veridicality Thesis (Floridi 2005). The notion of Epistemic Constructive Information (Primiero 2007) is one of those rejecting VT. The present paper develops a formal framework for ECI. It extends on the basic approach of Artemov’s logic of proofs (Artemov 1994), representing an epistemic logic based (...) on dependent justifications, where the definition of information relies on a strict distinction from factual truth. The definition obtained by comparison with a Normal Modal Logic translates a constructive logic for “becoming informed”: its distinction from the logic of “being informed”—which internalizes truthfulness—is essential to a general evaluation of information with respect to truth. The formal disentanglement of these two logics, and the description of the modal version of the former as a weaker embedding into the latter, allows for a proper understanding of the Veridicality Thesis with respect to epistemic states defined in terms of information. (shrink)

This work suggests how much human sciences can learn from a booklet almost all cultures know, The Little Prince. It stimulates to read them in their anthropological aspects of behavior facing alterity, highlighting its value without proposing it as educational element to homogenize the different. The reflection is thus focused on the demolishing and lasting effects of European culture during its colonization of American and African people. The contribution ends with Ferraioli and De Vitoria's considerations on a society based on (...) the axiom of the free circulation of men and goods, and the legitimization of thinking given by natural law. (shrink)

Premessa p.9 Capitolo I: Identità ebraica e nuovo pensiero p.13 Capitolo II: Qohelet nel “nuovo pensiero” p.81 Capitolo III: Etica e politica: un dialogo tra religioni? p. 149 Capitolo IV: Dal trascendentalismo all’esteriorità: fondazione etica della maestria p.207 Capitolo V: Dal primato della politica al primato dell’etica p.245 Capitolo VI: Emmanuel Lévinas: per una trascendenza non idolatrica p.287 Capitolo VII: Dall’umanismo dei superbi all’umanismo dell’altro uomo p.231.

Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as (...) provability up to refutation of contextual conditions. (shrink)

The purpose of this study is not so much to show the presence of Antisthenes in the dialogue, but rather to examine that to which Plato alludes. The controversy over ideas between the two Socratics is histori­cally very well-attested, as can already be seen in the Cratylus. Thus, it is reasonable to assume that this controversy must have affected Plato when he was writing the Phaedo: a dialogue in which the importance of ideas and his new logic is undeniable. Hence, (...) this paper will investigate the following question: what impact could Antisthenes’ denominative and definitory logic have on the equally denominative and definitory logic presented in the Phaedo, given that the latter work in all prob­ability preceded the Sathōn? In light of what is said in the dialogue, the answer focuses primarily on what would not be said. Thus, this study is divided into two parts: Part one shows how the so-called “second navigation” emerges as an objection to the insufficiency of the responses given by the physiologists. Tellingly, certain “common opinions” are regarded as perplexing and individuals holding them are referred to with the indeterminate tis, which – as is argued – must have included Antisthenes. Indeed, Tht. 108c7–8 reports the latter to have made common opinions a cornerstone of his denominative logic. Part two, on the other hand, is devoted to examining the so-called “final argument.” Here, Antisthenes’ presence seems somewhat more nuanced, given his incomplete knowledge of the new logic of irreversible opposites which was worked out by Plato for the purpose of demonstrating the immor­tality and indestructibility of the soul. On the other hand, Antisthenes is likely to have prompted Plato to specify the relationship between ideas and things in the definitory logic, since the proponent of the theory of oikeios logos refused to distinguish between the substance and its attrib­utes, the differences and their opposites, and the opposites of opposites. (shrink)

The purpose of this study is not so much to show the presence of Antisthenes in the dialogue, but rather to examine what Plato alludes to. The controversy over ideas between the two Socratics is historically very well-attested, as can already be seen in the Cratylus. Thus, it is reasonable to assume that this controversy must have affected Plato when he was writing a dialogue in which the importance of ideas and his new logic is undeniable. Hence, this paper will (...) investigate the following question: what impact could Antisthenes’ denominative and definitory logic have on the equally denominative and definitory logic presented in the Phaedo given that the latter work in all probability preceded the Sathōn? In light of what is said in the dialogue, the answer focuses primarily on what would not be said. Thus, this study has been divided into two parts: Part one shows how the so-called “second navigation” emerges as an objection to the insufficiency of the responses given by the physiologists. Tellingly, certain “common opinions” are regarded as perplexing and individuals holding them are referred to with the indeterminate tis, which – as is argued – must have included Antisthenes. Indeed, Tht. 108c7–8 reports the latter to have made common opinions a cornerstone of his denomi­native logic. Part two, on the other hand, is devoted to examining the so-called “final argument.” Here, Antisthenes’ presence seems some­what more nuanced given his incomplete knowledge of the new logic of irreversible opposites which was worked out by Plato for the purpose of demonstrating the immortality and indestructibility of the soul. On the other hand, Antisthenes is likely to have prompted Plato to specify the relationship between ideas and things in the definitory logic, since the proponent of the theory of oikeios logos refused to distinguish between the substance and its attributes, the differences and its opposites as well as the opposites of opposites. (shrink)